acm sigbed
|
emsoft
|
participants
Pavol Černý
Program Committees:
2014
.
EMSOFT 2012: 12th International Conference on Embedded Software
Synthesis from Incompatible Specifications
Pavol Černý
,
Sivakanth Gopi
,
Thomas A. Henzinger
,
Arjun Radhakrishna
, and
Nishant Totla
10.1145/2380356.2380371
https://arjunradhakrishna.github.io/publications/emsoft12.pdf
EMSOFT 2011: 11th International Conference on Embedded Software
From Boolean to Quantitative Synthesis
Pavol Černý
and
Thomas A. Henzinger
10.1145/2038642.2038666
https://cernyp.github.io/publications/emsoft11/emsoft11.pdf